Computer{Assisted Proofs for Fixed Point Problems in Sobolev Spaces
نویسندگان
چکیده
In this paper we extend the technique of computer{assisted proofs to xed point problems in Sobolev spaces. Up to now the method was limited to the case of spaces of analytic functions. The possibility to work with Sobolev spaces is an important progress and opens up many new domains of applications. Our discussion is centered around a concrete problem that arises in the theory of critical phenomena and describes the phase transition in a hierarchical system of random resistors. For this problem we have implemented in particular the convolution product based on the Fast Fourier Transform (FFT) algorithm with rigorous error estimates.
منابع مشابه
Some notes on ``Common fixed point of two $R$-weakly commuting mappings in $b$-metric spaces"
Very recently, Kuman et al. [P. Kumam, W. Sintunavarat, S. Sedghi, and N. Shobkolaei. Common Fixed Point of Two $R$-Weakly Commuting Mappings in $b$-Metric Spaces. Journal of Function Spaces, Volume 2015, Article ID 350840, 5 pages] obtained some interesting common fixed point results for two mappings satisfying generalized contractive condition in $b$-metric space without the assumption of the...
متن کاملTwo Topics in Computer Assisted Proofs for the Problems in Fluid Dynamics
We have been devoted for years to studying the numerical verifications of solutions to elliptic partial differential equations. Our approach is based on the combination of fixed point theorems in functional spaces and the constractive error estimations of finite element (or spectral) method. In our verification process, the interval method for finite-dimensional linear equations plays an essent...
متن کاملRenormalized Solutions for Strongly Nonlinear Elliptic Problems with Lower Order Terms and Measure Data in Orlicz-Sobolev Spaces
The purpose of this paper is to prove the existence of a renormalized solution of perturbed elliptic problems$ -operatorname{div}Big(a(x,u,nabla u)+Phi(u) Big)+ g(x,u,nabla u) = mumbox{ in }Omega, $ in the framework of Orlicz-Sobolev spaces without any restriction on the $M$ N-function of the Orlicz spaces, where $-operatorname{div}Big(a(x,u,nabla u)Big)$ is a Leray-Lions operator defined f...
متن کاملOn some fixed points properties and convergence theorems for a Banach operator in hyperbolic spaces
In this paper, we prove some fixed points properties and demiclosedness principle for a Banach operator in uniformly convex hyperbolic spaces. We further propose an iterative scheme for approximating a fixed point of a Banach operator and establish some strong and $Delta$-convergence theorems for such operator in the frame work of uniformly convex hyperbolic spaces. The results obtained in this...
متن کاملCoincidence and Common Fixed Point Results for $alpha$-$(psi,varphi)$-Contractive Mappings in Metric Spaces
Recently Samet et al. introduced the notion of $alpha$-$psi$-contractive type mappings and established some fixed point theorems in complete metric spaces. In this paper, we introduce $alpha$-$(psi,varphi)$-contractive mappings and stablish coincidence and common fixed point theorems for two mapping in complete metric spaces. We present some examples to illustrate our results. As application...
متن کامل